Engineering Software Lab

Results: 278



#Item
141Software engineering / Programming Language Design and Implementation / SIGPLAN / International Conference on Functional Programming / Symposium on Principles and Practice of Parallel Programming / Dead code elimination / Principles of Programming Languages / International Conference on Architectural Support for Programming Languages and Operating Systems / Profiling / Computer science / Association for Computing Machinery / Computing

Rastislav Bodik Computer Science 581 Soda Hall (Par Lab) University of California, Berkeley Berkeley, CA 94720–1776

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2012-10-25 11:39:40
142Software engineering / Ulysses / James Joyce / Whitespace / Type theory / Technical lettering / Leopold Bloom / Polymorphism / Bloomsday / Literature / Typography / Irish literature

Time, Voice, and Joyce Andrea Taylor, Brendan Donovan, Zoltan Foley-Fisher, Carol Strohecker Everyday Learning, Media Lab Europe Sugar House Lane, Bellevue Dublin 8, Ireland +[removed]

Add to Reading List

Source URL: www.carolstrohecker.info

Language: English - Date: 2005-09-13 12:43:17
143Software engineering / Test case / Code coverage / ALGOL 68 / Unit testing / Vector space / Software testing / Algebra / Mathematics

Proc. FASE 2015, (c) Springer Facilitating Reuse in .Multi-Goal Test-Suite Generation for Software Product Lines Johannes Bürdek1 , Malte Lochau1 , Stefan Bauregger1 , Andreas Holzer2 , Alexander von Rhein3 , Sven Apel

Add to Reading List

Source URL: www.sosy-lab.org

Language: English - Date: 2015-02-14 11:49:39
144Scripting languages / Linden Lab / Second Life / Python / Computing / Software engineering / Computer programming

[paul.oppenheim] +[removed]removed] https://pauloppenheim.com /resume.paul_oppenheim.html / .pdf / .txt Objective

Add to Reading List

Source URL: pauloppenheim.com

Language: English - Date: 2015-03-23 05:01:07
145Software verification / Rabbit Model Checker / Ambient intelligence / Software engineering / Year of birth missing / CHIC / Lecture Notes in Computer Science / International Conference on Formal Techniques for Networked and Distributed Systems

Dirk Beyer Curriculum Vitae[removed]Coordinates p Affiliation:

Add to Reading List

Source URL: www.sosy-lab.org

Language: English - Date: 2015-02-11 15:38:37
146Transaction processing / Software engineering / Computer memory / Compiler construction / Memory model / Programming language design / Consistency model / Linearizability / Universal Product Code / Computing / Concurrency control / Computer architecture

A Proposal for a UPC Memory Consistency Model, v1.0 Lawrence Berkeley National Lab Tech Report LBNL[removed]Katherine Yelick Dan Bonachea University of California, Berkeley Charles Wallace

Add to Reading List

Source URL: upc.gwu.edu

Language: English - Date: 2013-12-04 13:04:22
147Programming language theory / Type theory / Procedural programming languages / C++ / ALGOL 68 / Primitive data type / Type system / SQL / C++ classes / Computing / Software engineering / Data types

Specification of MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia November[removed]MiniZinc version 2.0)

Add to Reading List

Source URL: www.minizinc.org

Language: English - Date: 2014-12-08 22:18:01
148Dynamics / Fluid dynamics / Rocket / Drag / Water rocket / Wind tunnel / Foil / Parasitic drag / Lift-to-drag ratio / Aerodynamics / Aerospace engineering / Fluid mechanics

Simple Drag Tests for Water Rockets A Share Lab Project for Rocket Design This lab is provided for use free of charge by Seeds Software. However, if you make use of this lab, and are satisfied with the results, we reques

Add to Reading List

Source URL: www.seeds2lrn.com

Language: English - Date: 2004-02-28 18:12:35
149Computer hardware / Copy protection / Electronic engineering / Television technology / Mobile High-definition Link / Software protection dongle / N400 / N100 / N200 / Electroencephalography / Evoked potentials / High-definition television

Sony MHL ATC Test Price List @Taiwan Lab MHL ver. 1. x Category Source

Add to Reading List

Source URL: www.sony.net

Language: English - Date: 2013-01-21 00:23:54
150Computer hardware / Copy protection / Electronic engineering / Television technology / Mobile High-definition Link / Software protection dongle / N400 / N100 / N200 / Electroencephalography / Evoked potentials / High-definition television

Sony MHL ATC Test Price List @Taiwan Lab MHL ver. 2. x Category Source

Add to Reading List

Source URL: www.sony.net

Language: English - Date: 2013-01-21 00:25:57
UPDATE